Lehetetlennek tartották kiszámolni, de megvan: 32 év után megtalálták a kilencedik Dedekind-számot
Miután 1991-ben felfedezték a nyolcadik Dedekind-számot, a kutatók úgy vélték, a kilencedik sosem lesz meg. Most mégis meglett, és jó hosszú.
#monoton logikai függvény
1